-
1 formal congruence
Большой англо-русский и русско-английский словарь > formal congruence
-
2 formal congruence
Математика: формальное сравнение -
3 formal congruence
мат. -
4 congruence
2) конгруэнция, сравнение3) слаженность, согласованность4) соразмерность, соответствие, совмещение5) сравнимость•congruence with respect to operation — лог. конгруэнция по отношению к операции
-
5 congruence
ˈkɔŋɡruəns сущ.
1) слаженность, согласованность formal congruence with ≈ формальное соответствие чему-л. technical congruence with ≈ техническая согласованность с чем-л. Syn: co-ordination, conformity, accordance, correspondence, harmony
2) мат. конгруэнтность
3) грам. согласование (напр., прилагательного с существительным) n
1) соответствие;
2) согласование ~ согласованность;
соответствие;
to be in congruence with соответствовать( чему-л.) congruence мат. конгруэнтность ~ конгруэнтность ~ совпадение ~ согласованность;
соответствие;
to be in congruence with соответствовать (чему-л.) ~ согласованность ~ соответствие ~ сравнимостьБольшой англо-русский и русско-английский словарь > congruence
-
6 congruence
['kɔŋgruən(t)s]сущ.1) слаженность, согласованностьformal congruence with — формальное соответствие чему-л.
technical congruence with — техническая согласованность с чем-л.
Syn:2) мат. конгруэнтность3) лингв. согласованиеSyn: -
7 congruence
(c) Mathematics congruence f -
8 формальное сравнение
formal congruence мат.Русско-английский научно-технический словарь Масловского > формальное сравнение
-
9 πυνθάνομαι
Grammatical information: v.Meaning: to find out, learn, to ask, to inquire, to investigate' (Il.); act. πεύθω, πεῦσαι `to announce, to cite' (Crete).Other forms: ep. also πεύθομαι (metr. easier; Chantraine Gramm. hom. 1, 111, 282, 308), fut. πεύσομαι, aor. 2. πυθέσθαι, redupl. opt. πεπύθοιτο, perf. πέπυσμαι.Derivatives: With zero grade: 1. πύστις f. `questioning, inquiry, tidings' (Att., A.; cf. below) with πυστι-άομαι `to interrogate' (Plu., Phot., H.); 2. πύσμα n. `question, interrogation' with - ματικός `interrogative, asking' (late); 3. πυστός (EM, Eust.), always as 2. member, resp. in the prefixcompp., e.g. ἄ-πυστος, ἀνά-πυστος (Od.). With full grade: 4. πευθώ f. `tidings' (A. Th. 370); 5. πεῦσις ( ἀνά-) f. `information' (Ph., Plu.; older πύστις, cf. Fraenkel Glotta 32, 27 w. lit.); 6. πευθήν, - ῆνος m. `spy' (Luc., Arr.; Solmsen Wortforsch. 143); 7. Adj. πευστικός `interrogating' (A. D., Ph.); 8. as 2. member, after the ες-stems (Schwyzer 513), - πευθής, e.g. ἀ-πευθ-ής `uninvestigated, unaware' (Od.); 9. with dentalsuffix φιλό-πευσ-τος (Phot., Suid.), - της (Ptol.) `who loves questioning' with - πευστέω, - πευστία (hell.).Etymology: The full grade thematic root-present πεύθομαι has exact formal agreements in several languages: Skt. bódhati, midd. -te `watch, observe, understand', Av. baođaiti, -te `id.', also `smell after', Germ., e.g. Goth. ana-, faur-biudan `order, arrange' resp. `forbid', OWNo. bjōða 'offer, present, make known', Slav., e.g. OCS bljudǫ, bljusti `preserve, guard, observe', Russ. bljudú, bljustí `observe, perceive', IE * bheudh-e(-ti, - toi) `observes, is attent'. The deviating meaning of the Germ. verbs agrees mainly to the (prob. secondary) active Cret. πεύθω and is related to an old opposition of the diatheses; a corresponding meaning shows a.o. the Skt. causative bodháyati `wake, instruct, inform'. The meaning `find out, ask' is a Greek innovation. -- With ( ἐ-)πύθοντο agrees exactly Skt. budhánta so these are in origin identical; complete formal congruence is also found between ( ἄ-)πυστος and Skt. buddhá-, which functions as ptc. of the caus. bodháyati ('wakes, illuminates'), to which also Av. hupō. bus-ta- `well scented'; thus as between πύστις and Skt. buddhi- f. `insight, intelligence, spirit', between ( ἀ-)πευθής and Av. baođah- n. `observation'; in all these cases one must reckon with independent innovations. A nasalized present like πυν-θάνομαι is also found in Lith. bu-n-dù, inf. bústi `wake' (with the suffixed caus. búd-inu, - inti) and in Celt., e.g. OIr. ad-bond- `give notice, announce'. Through the strong productivity of these formations is also here original identity doubtful; cf. Schwyzer 701 w. lit. -- Further forms from the diff. languages with rich lit. in WP. 2, 147f., Pok. 150, Mayrhofer s. bódhati, Fraenkel s. budė́ti, Vasmer s. bljudú.Page in Frisk: 2,625-626Greek-English etymological dictionary (Ελληνικά-Αγγλικά ετυμολογική λεξικό) > πυνθάνομαι
-
10 формальное сравнение
Большой англо-русский и русско-английский словарь > формальное сравнение
-
11 формальное сравнение
Mathematics: formal congruenceУниверсальный русско-английский словарь > формальное сравнение
-
12 property
1) свойство; качество; атрибут2) имущество; собственность3) способность•- fixed point property - minimum norm property - property of being atomistic - property of being centered - property of being holomorphic - property of being meromorphic - property of being odd - property of being two-valued - property of being unitary -
13 relation
1) зависимость, (взаимо)связь2) отношение; соотношение4) геол. условия залегания•- almost universal relation - cause-effect relation - generalized semigroup relation - logically irreducible relation - parametrically definable relation - partial ordering relation - recursively enumerable relation - recursively invariant relation - recursively representable relation - strongly definable relation - weakly symmetric relation -
14 теория
analysis, science, theory* * *тео́рия ж.
theoryвыдвига́ть тео́рию — advance [propose] a theoryобъясня́ть что-л. на основа́нии тео́рии — explain smth. on a theoryотказа́ться от тео́рии — abandon a theoryотклоня́ть тео́рию — reject a theoryподтвержда́ть тео́рию эксперимента́льно — verify a theory by experimentпринима́ть [признава́ть] тео́рию — accept a theoryтео́рия автомоде́льности — similarity theoryтео́рия адсо́рбции Бруна́уэра—Эмме́тта—Те́ллера — BET theory of adsorptionтео́рия Ба́рдина—Ку́пера—Шри́ффера [БКШ] — Bardeen-Cooper-Schrieffer [BCS] theoryтео́рия больши́х сигна́лов — large signal theoryтео́рия бу́левых а́лгебр — Boolean calculusтео́рия вероя́тностей — theory of probability, probability theoryтео́рия Ви́нера — prediction theoryтео́рия возмуще́ний мат. — perturbation theoryтео́рия второ́го приближе́ния — second-order theoryтео́рия вы́борочного ме́тода стат. ( не путать с отсчё́тами в теории сообщений) — theory of samplingтео́рия вы́четов — residue theoryтео́рия гра́фов мат. — graph theoryтео́рия групп мат. — group theory, theory of groupsтео́рия дво́йственности — duality theoryтео́рия доказа́тельства — proof theoryтео́рия Друде́—Ло́ренца элк. — Drude-Lorentz theoryтео́рия игр мат. — theory of games, game(s) theoryтео́рия информа́ции — general theory of communication, information theoryква́нтовая тео́рия — quantum theoryтео́рия кисло́т и основа́ний — acid-base theoryкласси́ческая тео́рия — classical theoryтео́рия крыла́ — airfoil theoryлучева́я тео́рия — ray theoryтео́рия ма́лых сигна́лов — small signal theoryтео́рия ма́ссового обслу́живания — queueing [waiting-line] theoryтео́рия ме́ры мат. — measure theoryтео́рия мно́жеств — set theoryтео́рия надё́жности — reliability theoryтео́рия наибо́льших деформа́ций — ultimate strain theoryтео́рия относи́тельности — theory of relativityтео́рия относи́тельности, о́бщая — general theory of relativity, general relativityтео́рия относи́тельности, специа́льная — special theory of relativityтео́рия очереде́й — queueing [waiting-line] theoryтео́рия оши́бок — error analysisтео́рия перено́са — transport theoryтео́рия подо́бия — similarity theoryтео́рия по́ля — field theoryтео́рия разме́рностей — dimensional theoryтео́рия регули́рования — control theoryтео́рия реле́йных схем — switching-circuit theoryтео́рия све́та, волнова́я — wave theory of lightтео́рия све́та, ква́нтовая — quantum theory of lightтео́рия све́та, корпускуля́рная — corpuscular theory of lightтео́рия соедине́ний — combinatorial mathematics, combinatoricsтео́рия сравне́ний — congruence theoryтео́рия статисти́ческих оце́нок — theory of estimationтео́рия столкнове́ний — collision theoryстро́гая тео́рия — rigorous theoryтео́рия твё́рдых тел, зо́нная — band theory of solidsтео́рия теплопереда́чи — heat-transfer theoryтео́рия управле́ния — control theoryтео́рия упру́гости — theory of elasticityтео́рия усто́йчивости — stability theoryфеноменологи́ческая тео́рия — phenomenological [formal] theoryформа́льная тео́рия — formal theoryтео́рия цве́тности — theory of colour valueтео́рия цепе́й — circuit [network] theoryтео́рия чи́сел — theory of numbers, number theory -
15 condition
1) положение; ситуация2) условие || обусловливать, ставить условие3) состояние || приводить в определённое состояние4) кондиция || кондиционировать5) pl обстановка, условия; режим•on condition that — при условии, что
under conditions of a problem — матем. по условиям задачи
to satisfy a condition — мат. удовлетворять условию
-
16 теория
ж. theoryтеория адсорбции Брунауэра—Эмметта—Теллера — BET theory of adsorption
теория Бардина—Купера—Шриффера — Bardeen-Cooper-Schrieffer theory
теория Друде—Лоренца — Drude-Lorentz theory
См. также в других словарях:
Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most … Wikipedia
Congruence relation — See congruence (geometry) for the term as used in elementary geometry. In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is… … Wikipedia
Congruence (geometry) — An example of congruence. The two figures on the left are congruent, while the third is similar to them. The last figure is neither similar nor congruent to any of the others. Note that congruence … Wikipedia
congruence — n. (formal or technical) congruence with * * * [ kɒŋgrʊəns] (formal or technical) congruence with … Combinatory dictionary
congruence — [[t]kɒ̱ŋgruəns[/t]] N UNCOUNT: also a N, usu N between pl n Congruence is when two things are similar or fit together well. [FORMAL] ...a necessary congruence between political, cultural and economic forces … English dictionary
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born … Wikipedia
UNITED STATES OF AMERICA — UNITED STATES OF AMERICA, country in N. America. This article is arranged according to the following outline: introduction Colonial Era, 1654–1776 Early National Period, 1776–1820 German Jewish Period, 1820–1880 East European Jewish Period,… … Encyclopedia of Judaism